1701. Using UML :
پدیدآورنده : Perdita Stevens with Rob Pooley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Génie logiciel.,Software engineering.,UML (Computer science)
رده :
QA76
.
9
P473
2006
1702. VDM'91 Formal Software Development Methods :
پدیدآورنده : edited by S. Prehn, W.J. Toetenel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
1703. VDM '90 VDM and Z -- Formal Methods in Software Development :
پدیدآورنده : edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
1704. Vagrant Virtual Development Environment Cookbook
پدیدآورنده : / Chad Thompson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1705. Vectorworks for entertainment design :
پدیدآورنده : by Kevin Lee Allen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : VectorWorks,Computer-aided design,Engineering design-- Data processing,Stage lighting
رده :
PN2091
.
E4
A45
2015
1706. Verification and Validation of Real-Time Software
پدیدآورنده : edited by William J. Quirk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
54
E358
1985
1707. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1708. Verification, validation and testing in software engineering
پدیدآورنده : Aristides Dasso, Ana Funes [editors]
کتابخانه: کتابخانه دانشکده کارآفرینی دانشگاه تهران (تهران)
موضوع : Computer software -- Validation,Computer software -- Verification,Computer software -- Testing
رده :
QA
76
.
76
.
V47
V48
2007
1709. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
1710. Vernetzte und komplexe Informatik-Systeme :
پدیدآورنده : herausgegeben von Bernd E. Wolfinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
5
H473
1988
1711. Version Control with Git : Powerful tools and techniques for collaborative software development
پدیدآورنده : / Loeliger, Jon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1712. Version Control with Git: Powerful tools and techniques for collaborative software development
پدیدآورنده : / Jon Loeliger, Matthew McCullough
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1713. Video Bioinformatics :
پدیدآورنده : edited by Bir Bhanu, Prue Talbot.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Bioinformatics .,Computational biology .,Data mining.,Information storage and retrieval.,Optical data processing.,Computational Biology/Bioinformatics.,Bioinformatics.,Computer Appl. in Life Sciences.,Data Mining and Knowledge Discovery.,Image Processing and Computer Vision.,Information Storage and Retrieval.
رده :
570
.
285
V652
2015
23
1714. Virtual Environments '98 :
پدیدآورنده : edited by Martin Göbel, Jürgen Landauer, Ulrich Lang, Matthias Wapler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1998
1715. Virtual Environments and Scientific Visualization '96 :
پدیدآورنده : edited by Martin Göbel, Jacques David, Pavel Slavik, Jarke J. Wijk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1996
1716. Virtualization, the complete cornerstone guide to virtualization best practices :
پدیدآورنده : [Ivanka Menken].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Virtual computer systems.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,Virtual computer systems.
رده :
QA76
.
9
.
V5
M46
2008eb
1717. Visual Basic Edition- Visual Basic Edition : Beginner's Guide تXNA 4.0 Game Development by Example Beginner's Guide
پدیدآورنده : / Jaegers, Kurt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1718. Visual Basic for Testers
پدیدآورنده : by Mary Romero Sweeney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
1719. Visual models for software requirements
پدیدآورنده : Joy Beatty, Anthony Chen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development-- Management,Software engineering-- Management
رده :
QA76
.
76
.
D47
B438
2012
1720. Voice Application Development for Android
پدیدآورنده : / Michael F. McTear, Zoraida Callejas
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
